mining bucket - German English Dictionary